Pragmatic versus syntactic approaches to training deductive reasoning
نویسندگان
چکیده
منابع مشابه
Pragmatic versus syntactic approaches to training deductive reasoning.
and Abstract Plus Examples Conditions In this study we are interested in how people interpret and reason about a very important type of logical statement, called the condirional. Even though conditional statements are really very simple, people often make errors in dealing with them. These instructions are intended to help you understand conditional statements. Read through these instructions c...
متن کاملDatalog LITE : Temporal versus deductive reasoning
In this paper we show that Datalog is well-suited as a temporal veriication language. Datalog is a well-known database query language relying on the logic programming paradigm. We introduce Datalog LITE, a fragment of Datalog with negation, and present a linear time model checking algorithm for Datalog LITE. We show that Datalog LITE subsumes temporal languages such as CTL and the alternation-f...
متن کاملDeductive Reasoning versus Model Checking: Two Formal Approaches for System Development
We compare and contrast two formal approaches for system development: state-based notation with veriication by deductive reasoning, exempli-ed here by action systems; and event-based notation with veriication by model checking, here using CSP/FDR. Our purpose is to identify spe-ciic similarities and diierences, and strengths and weaknesses of the two approaches by direct comparison on the same ...
متن کاملDeductive Approximate Reasoning | a Comparison of Two Approaches
This paper deals with deductive approximate reasoning techniques. Approximate reasoning is concerned with the appropriate processing of vague and uncertain knowledge, given in a rule based manner. The role model for dealing with vague and uncertain knowledge is the human mind. The ability to build abstractions and vague concepts lies at the heart of the immense capabilities of the human brain. ...
متن کاملDeductive Reasoning
Deductive reasoning is the kind of reasoning in which, roughly, the truth of the input propositions (the premises) logically guarantees the truth of the output proposition (the conclusion), provided that no mistake has been made in the reasoning. The premises may be propositions that the reasoner believes or assumptions that the reasoner is exploring. Deductive reasoning contrasts with inductiv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cognitive Psychology
سال: 1986
ISSN: 0010-0285
DOI: 10.1016/0010-0285(86)90002-2